Hoare, Tony: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Separation Logic Semantics for Communicating Processes

Tony Hoare, Peter O'Hearn

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 382 KB

english, 2008

2

Contemporary fiddling in human geography while Rome burns: has quantitative analysis been largely abandoned––and should it be?

Ron Johnston, Les Hepple, Tony Hoare, Kelvyn Jones, Paul Plummer

Journal:

Year:

2003

Language:

english

File:

PDF, 76 KB

english, 2003

3

Lore: Capturing Traditional Environmental Knowledgeby Martha Johnson

Review by: Tony Hoare

Journal:

Year:

1993

Language:

english

File:

PDF, 618 KB

english, 1993

4

Developments in concurrent Kleene algebra

Hoare, Tony, van Staden, Stephan, Möller, Bernhard, Struth, Georg, Zhu, Huibiao

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2015

Language:

english

File:

PDF, 1.11 MB

english, 2015

5

The Cold War and geography’s quantitative revolution: Some messy reflections on Barnes’ geographical underworld

Ron Johnston, Malcolm Fairbrother, David Hayes, Tony Hoare, Kelvyn Jones

Journal:

Year:

2008

Language:

english

File:

PDF, 148 KB

english, 2008

6

Sanctions against South Africa: Some Regional and Local Dimensions of the National Debate

Keith Bassett and Tony Hoare

Journal:

Year:

1987

Language:

english

File:

PDF, 996 KB

english, 1987

7

The emergence of postmodernism on the urban waterfront: Geographical perspectives on changing relationships

Glen Norcliffe, Keith Bassett, Tony Hoare

Journal:

Journal of Transport Geography

Year:

1996

Language:

english

File:

PDF, 1.56 MB

english, 1996

8

The Mistreated Model: Some Technical Comments on Porojan's Paper on 'Trade Flows and Spatial Effects'

Ron Johnston, Les Hepple, Tony Hoare, Kelvyn Jones, Paul Plummer

Journal:

Open Economies Review

Year:

2003

Language:

english

File:

PDF, 34 KB

english, 2003

9

Message of thanks

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 332 KB

english, 2012

10

WASh multicentre randomised controlled trial: water-assisted sigmoidoscopy in English NHS bowel scope screening

Rutter, Matthew D, Evans, Rachel, Hoare, Zoe, Von Wagner, Christian, Deane, Jill, Esmaily, Shiran, Larkin, Tony, Edwards, Rhiannon, Yeo, Seow Tien, Spencer, Llinos Haf, Holmes, Emily, Saunders, Brian

Journal:

Year:

2020

File:

PDF, 425 KB

2020

11

Future developments in the CAD environment

Journal:

Computer-Aided Design

Year:

1985

Language:

english

File:

PDF, 236 KB

english, 1985

12

Roger Michael Needham CBE FREng 9 February 1935 - 1 March 2003

Tony Hoare and Maurice V. Wilkes

Journal:

Biographical Memoirs of Fellows of the Royal Society

Year:

2004

Language:

english

File:

PDF, 1.33 MB

english, 2004

13

[IEEE 2008 13th IEEE International Conference on Engineering of Complex Computer Systems - (ICECCS) - Belfast, Northern Ireland (2008.03.31-2008.04.3)] 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008) - Verified Software: Theories, Tools, Experiments

Hoare, Sir Tony

Year:

2008

Language:

english

File:

PDF, 65 KB

english, 2008

14

Roger Michael Needham CBE FREng. 9 February 1935 â 1 March 2003

Hoare, Tony, Wilkes, Maurice V.

Journal:

Biographical Memoirs of Fellows of the Royal Society

Year:

2004

File:

PDF, 345 KB

2004

15

[NATO Science Series] Engineering Theories of Software Intensive Systems Volume 195 || Interface-Based Design

Broy, Manfred, Grünbauer, Johannes, Harel, David, Hoare, Tony

Year:

2005

Language:

english

File:

PDF, 566 KB

english, 2005

16

In praise of algebra

Hoare, Tony, Staden, Stephan

Journal:

Formal Aspects of Computing

Year:

2012

Language:

english

File:

PDF, 119 KB

english, 2012

17

East Asia

Galsworthy, Tony, Brown, Kerry, Cao, Shu, Sheringham, Michael, Pares, Susan, Nish, Ian, Hoare, J. E.

Journal:

Year:

2011

Language:

english

File:

PDF, 107 KB

english, 2011

18

Regional Isolation, Railways and Politics: Nelson, New Zealand

Pawson, Eric, Hoare, Tony

Journal:

The Journal of Transport History

Year:

1989

File:

PDF, 1.79 MB

1989

19

Legacy

Journal:

Information Processing Letters

Year:

2001

Language:

english

File:

PDF, 64 KB

english, 2001

20

[IEEE 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Edinburgh, UK (2007.06.25-2007.06.28)] 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07) - Science and Engineering: A Collusion of Cultures

Year:

2007

Language:

english

File:

PDF, 149 KB

english, 2007

21

[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - The ideal of verified software

Year:

2006

Language:

english

File:

PDF, 108 KB

english, 2006

22

An economic evaluation of the healthcare cost of tinnitus management in the UK

Stockdale, David, McFerran, Don, Brazier, Peter, Pritchard, Clive, Kay, Tony, Dowrick, Christopher, Hoare, Derek J

Journal:

BMC Health Services Research

Year:

2017

Language:

english

File:

PDF, 737 KB

english, 2017

23

[NATO Science Series] Engineering Theories of Software Intensive Systems Volume 195 || Model Driven Security

Broy, Manfred, Grünbauer, Johannes, Harel, David, Hoare, Tony

Year:

2005

Language:

english

File:

PDF, 823 KB

english, 2005

24

UGC: More Unequal Geographical Cuts

Journal:

Year:

1986

Language:

english

File:

PDF, 1.05 MB

english, 1986

25

Shift-Share Analysis: A Useful Technique for Regional Economic Analysis

Journal:

New Zealand Journal of Geography

Year:

2008

File:

PDF, 2.45 MB

2008

26

LABOUR ADJUSTMENT IN METROPOLITAN REGIONS

Journal:

New Zealand Geographer

Year:

1991

File:

PDF, 656 KB

1991

27

[ACM Press the eleventh ACM SIGPLAN symposium - New York, New York, USA (2006.03.29-2006.03.31)] Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '06 - Proving correctness of highly-concurrent linearisable objects

Vafeiadis, Viktor, Herlihy, Maurice, Hoare, Tony, Shapiro, Marc

Year:

2006

Language:

english

File:

PDF, 132 KB

english, 2006

28

Student funding, student retention and student experiences: perspectives from Bristol

Hoare, Tony, Lightfoot, Jon

Journal:

Widening Participation and Lifelong Learning

Year:

2015

Language:

english

File:

PDF, 321 KB

english, 2015

29

Angus Osborn Robson

Ferguson, Marguerite, Hoare, Tony, Robson, Andrew, Wilkinson, John

Journal:

Year:

2017

Language:

english

File:

PDF, 877 KB

english, 2017

30

Verification of Fine-grain Concurrent Programs

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 143 KB

english, 2008

31

[NATO Science Series] Engineering Theories of Software Intensive Systems Volume 195 || Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures

Broy, Manfred, Grünbauer, Johannes, Harel, David, Hoare, Tony

Year:

2005

Language:

english

File:

PDF, 684 KB

english, 2005

32

A semantics for imprecise exceptions

Jones, Simon Peyton, Reid, Alastair, Henderson, Fergus, Hoare, Tony, Marlow, Simon

Journal:

ACM SIGPLAN Notices

Year:

1999

Language:

english

File:

PDF, 1.52 MB

english, 1999

33

University Competition, Student Migration and Regional Economic Differentials in the United Kingdom

Journal:

Higher Education

Year:

1991

Language:

english

File:

PDF, 976 KB

english, 1991

34

CSP is a retract of CCS

Jifeng He, Tony Hoare

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 918 KB

english, 2010

35

The laws of programming unify process calculi

Hoare, Tony, van Staden, Stephan

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 266 KB

english, 2014

36

Book reviews

Simmons, I. G., MacLeary, Alistair, Hoare, A. G., White, Tony, Crabtree, Keith, Pearce, David

Journal:

International Journal of Environmental Studies

Year:

1982

Language:

english

File:

PDF, 702 KB

english, 1982

37

University competition, student migration and regional economic differentials in the United Kingdom

Journal:

Higher Education

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

38

Concurrent Kleene Algebra and its Foundations

Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Journal:

The Journal of Logic and Algebraic Programming

Year:

2011

Language:

english

File:

PDF, 554 KB

english, 2011

39

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - Message of thanks

Year:

2012

Language:

english

File:

PDF, 332 KB

english, 2012

40

Les Hepple: An Appreciation

Harris, Richard, Hoare, Tony, Johnston, Ron, Jones, Kelvyn, Plummer, Paul, Thomas, Edward

Journal:

Environment and Planning A

Year:

2007

Language:

english

File:

PDF, 90 KB

english, 2007

41

Edsger Wybe Dijkstra

Journal:

Year:

2003

Language:

english

File:

PDF, 318 KB

english, 2003

42

The geography of (manufacturing) wages in New Zealand

Journal:

New Zealand Geographer

Year:

1986

File:

PDF, 1.89 MB

1986

43

Confusion in the lab

Journal:

Year:

1988

File:

PDF, 141 KB

1988

44

The verifying compiler: A grand challenge for computing research

Journal:

Journal of the ACM

Year:

2003

Language:

english

File:

PDF, 41 KB

english, 2003

45

Fine-grain concurrency

Journal:

Concurrency and Computation: Practice and Experience

Year:

2010

Language:

english

File:

PDF, 962 KB

english, 2010

46

Why ever CSP?

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 159 KB

english, 2006

47

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Laws of concurrent programming

Year:

2013

Language:

english

File:

PDF, 84 KB

english, 2013

48

[ACM Press the ACM SIGPLAN 1999 conference - Atlanta, Georgia, United States (1999.05.01-1999.05.04)] Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation - PLDI '99 - A semantics for imprecise exceptions

Jones, Simon Peyton, Reid, Alastair, Henderson, Fergus, Hoare, Tony, Marlow, Simon

Year:

1999

Language:

english

File:

PDF, 1.52 MB

english, 1999

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски